mirror of
https://github.com/zeek/zeek.git
synced 2025-10-02 06:38:20 +00:00
Fix for setting REPO in Makefile.
The basename wasn't sufficient as it could leave the repo URL in.
This commit is contained in:
parent
5408931870
commit
7706ba1b2f
1 changed files with 1 additions and 1 deletions
2
Makefile
2
Makefile
|
@ -6,7 +6,7 @@
|
||||||
#
|
#
|
||||||
|
|
||||||
BUILD=build
|
BUILD=build
|
||||||
REPO=`basename \`git config --get remote.origin.url\``
|
REPO=`basename \`git config --get remote.origin.url | sed 's/^[^:]*://g'\``
|
||||||
VERSION_FULL=$(REPO)-`cat VERSION`
|
VERSION_FULL=$(REPO)-`cat VERSION`
|
||||||
VERSION_MIN=$(REPO)-`cat VERSION`-minimal
|
VERSION_MIN=$(REPO)-`cat VERSION`-minimal
|
||||||
HAVE_MODULES=git submodule | grep -v cmake >/dev/null
|
HAVE_MODULES=git submodule | grep -v cmake >/dev/null
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue