From d225431b0598b734cdc056fbe7079eb31e416377 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Reinhard=20M=C3=BCller?= <reinhard@fsfe.org>
Date: Sat, 16 May 2020 21:32:02 +0200
Subject: [PATCH] Add new build option "build_run"

This option does not mess around with git at all and is preferred for
local builds where you might have uncomitted changes.
---
 build/arguments.sh  | 5 +++++
 build/build_main.sh | 1 +
 2 files changed, 6 insertions(+)

diff --git a/build/arguments.sh b/build/arguments.sh
index 42c40b862d..fca011af15 100755
--- a/build/arguments.sh
+++ b/build/arguments.sh
@@ -37,6 +37,10 @@ if [ -z "$inc_arguments" ]; then
         command="$1$command"
         [ "$#" -gt 0 ] && shift 1 && target="$1"
         ;;
+      build_run)
+        command="$1$command"
+        [ "$#" -gt 0 ] && shift 1 && target="$1"
+        ;;
       build_xmlstream)
         command="$1$command"
         [ "$#" -gt 0 ] && shift 1 && workfile="$1"
@@ -75,6 +79,7 @@ if [ -z "$inc_arguments" ]; then
   case "$command" in
     build_into)      [ -z "$target" ]      && die "Missing destination directory" ;;
     git_build_into)  [ -z "$target" ]      && die "Missing destination directory" ;;
+    build_run)       [ -z "$target" ]      && die "Missing destination directory" ;;
     process_file)    [ -z "$workfile" ]    && die "Need at least input file" ;;
     build_xmlstream) [ -z "$workfile" ]    && die "Missing xhtml file name" ;;
     tree_maker)      [ -z "$target" ]      && die "Missing target location" ;;
diff --git a/build/build_main.sh b/build/build_main.sh
index 8da872bda2..d3788a7837 100755
--- a/build/build_main.sh
+++ b/build/build_main.sh
@@ -73,6 +73,7 @@ case "$command" in
                      git_build_into
                    fi ;;
   build_into)      build_into ;;
+  build_run)       buildrun ;;
   process_file)    process_file "$workfile" "$processor" ;;
   build_xmlstream) build_xmlstream "$(get_shortname "$workfile")" "$(get_language "$workfile")" ;;
   tree_maker)      tree_maker "$tree" "$target" ;;