Fix build script

parent 2ac76c9c
Pipeline #16003 passed with stage
in 15 minutes and 15 seconds
SHELL:=bash
BIN:=builddb CloogleServer BIN:=builddb CloogleServer
DB=types.json DB=types.json
CLM:=clm CLM:=clm
...@@ -38,6 +39,6 @@ $(DB): builddb ...@@ -38,6 +39,6 @@ $(DB): builddb
./$< > $(DB) ./$< > $(DB)
clean: clean:
$(RM) -r **/Clean\ System\ Files $(BIN) $(MAN) $(DB) shopt -s globstar; $(RM) -r **/*.abc $(BIN) $(MAN) $(DB)
.FORCE: .FORCE:
...@@ -7,7 +7,7 @@ PACKAGES="patch jq" ...@@ -7,7 +7,7 @@ PACKAGES="patch jq"
apt-get update -qq apt-get update -qq
apt-get install -qq $PACKAGES --no-install-recommends apt-get install -qq $PACKAGES --no-install-recommends
make distclean CloogleServer builddb make clean CloogleServer builddb
if [ ! -f libs.json ]; then ln -s ../libs.json; fi if [ ! -f libs.json ]; then ln -s ../libs.json; fi
../util/fetch_libs.sh /opt/clean/lib ../util/fetch_libs.sh /opt/clean/lib
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment