org-ql/hooks/pre-push
Adam Porter e23a026fe5 Meta: Update makem.sh, Makefile, and pre-push
Use local .sandbox sandbox.  (Assumes it is initialized.)
2020-02-09 15:25:44 -06:00

17 lines
419 B
Bash
Executable file

#!/bin/sh
# * Commit parameters
# Unused now, but good for future reference. See man 5 githooks.
remote="$1"
url="$2"
read local_ref local_sha remote_ref remote_sha
# * Run tests
# Not using sandbox and auto-install, because "git push" shouldn't
# cause remote code to be downloaded and executed (i.e. what would
# happen by installing packages). It can be done manually when needed.
make sandbox=.sandbox test