updated gitadd make -C
authorThomas Walker Lynch <thomas.lynch@reasoningtechnology.com>
Sat, 6 Apr 2019 19:01:39 +0000 (21:01 +0200)
committerThomas Walker Lynch <thomas.lynch@reasoningtechnology.com>
Sat, 6 Apr 2019 19:01:39 +0000 (21:01 +0200)
tool/bin/gitadd

index 9355724..11c23a2 100755 (executable)
@@ -1,5 +1,5 @@
 #!/bin/bash
 set -x
-make dist-clean
+make -C "$PROJECT_SUBU" dist-clean
 git add "$@"