slightly shorter awk script
This commit is contained in:
parent
167d963069
commit
a8442356cd
@ -29,7 +29,7 @@ db/.faux_ready: zeimena.gpkg managedb
|
|||||||
touch $@
|
touch $@
|
||||||
|
|
||||||
REF = $(shell git describe --tags)
|
REF = $(shell git describe --tags)
|
||||||
DIRTY = $(shell git status --porcelain | awk 'NR==1{print "-dirty";exit}')
|
DIRTY = $(shell git status --porcelain | awk '{print"-dirty";exit}')
|
||||||
GIT_DIR = $(shell git rev-parse --show-toplevel)/.git
|
GIT_DIR = $(shell git rev-parse --show-toplevel)/.git
|
||||||
version.tex: $(shell git ls-files .) $(GIT_DIR)
|
version.tex: $(shell git ls-files .) $(GIT_DIR)
|
||||||
( \
|
( \
|
||||||
|
Loading…
Reference in New Issue
Block a user