summaryrefslogtreecommitdiffstats
path: root/resources/scripts/helpers/build/external
diff options
context:
space:
mode:
Diffstat (limited to 'resources/scripts/helpers/build/external')
-rwxr-xr-xresources/scripts/helpers/build/external/source3
1 files changed, 2 insertions, 1 deletions
diff --git a/resources/scripts/helpers/build/external/source b/resources/scripts/helpers/build/external/source
index bff7b16..74cfdb3 100755
--- a/resources/scripts/helpers/build/external/source
+++ b/resources/scripts/helpers/build/external/source
@@ -20,7 +20,8 @@
# along with this program. If not, see <http://www.gnu.org/licenses/>.
#
-set -u -e -v
+[ "x${DEBUG+set}" = 'xset' ] && set -v
+set -u -e
# delete the old data
rm -rf tobuild