Allow concatenating includes (#73)

Fixes #72
namely · May 23, 2018 · 2697491 · 2697491
1 parent d99a2dc
commit 2697491
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/all/entrypoint.sh b/all/entrypoint.sh
@@ -69,7 +69,7 @@ while test $# -gt 0; do
             shift
             ;;
         -i) shift
-            EXTRA_INCLUDES="-I$1"
+            EXTRA_INCLUDES="$EXTRA_INCLUDES -I$1"
             shift
             ;;
         --with-gateway)