jiri/org-ql
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Meta: Update makem.sh, Makefile, and pre-push

Browse source 
Use local .sandbox sandbox.  (Assumes it is initialized.)
This commit is contained in:
Adam Porter 2020-02-09 12:42:07 -06:00
parent 035c20fc28
commit e23a026fe5
3 changed files with 320 additions and 78 deletions
Download patch file Download diff file Expand all files Collapse all files

16
Makefile
View file

@ -19,11 +19,11 @@ ifdef install-linters
endif
ifdef sandbox
SANDBOX = "--sandbox"
endif
ifdef sandbox-dir
SANDBOX_DIR = "--sandbox-dir" "$(sandbox-dir)"
ifeq ($(sandbox), t)
SANDBOX = --sandbox
else
SANDBOX = --sandbox $(sandbox)
endif
endif
ifdef debug
@ -49,4 +49,8 @@ endif
# directory by that name exists, which can confuse Make.
%:
@./makem.sh $(DEBUG) $(VERBOSE) $(SANDBOX) $(SANDBOX_DIR) $(INSTALL_DEPS) $(INSTALL_LINTERS) $(@)
@./makem.sh $(DEBUG) $(VERBOSE) $(SANDBOX) $(INSTALL_DEPS) $(INSTALL_LINTERS) $(@)
.DEFAULT: init
init:
@./makem.sh $(DEBUG) $(VERBOSE) $(SANDBOX) $(INSTALL_DEPS) $(INSTALL_LINTERS)