accept git_build_into argments

2017-08-18 18:55:38 +02:00
parent 614bc74911
commit c62f85499a
2 changed files with 6 additions and 1 deletions
--- a/build/build_main.sh
+++ b/build/build_main.sh
@@ -38,7 +38,7 @@ buildpids=$(
  | egrep "[s]h ${0} .*" \
  | wc -l
 )
-if [ $command = "build_into" -o $command = "svn_build_into" ] && [ "$buildpids" -gt 2 ]; then
+if [ $command = "build_into" -o $command = "git_build_into" -o $command = "svn_build_into" ] && [ "$buildpids" -gt 2 ]; then
  debug "build script is already running"
  exit 0
 fi