build/bin/write-dockerfile.sh: Change bash -x back to bash

sagemath · Nov 26, 2020 · a8708dd · a8708dd
1 parent b0459c3
commit a8708dd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/build/bin/write-dockerfile.sh b/build/bin/write-dockerfile.sh
@@ -1,4 +1,4 @@
-#! /usr/bin/env bash -x
+#! /usr/bin/env bash
 ## Write a Dockerfile to stdout that tests that the packages listed in the debian.txt/fedora.txt files of standard spkg exist
 ## and satisfy the requirements tested by spkg-configure.m4
 ## This is called by $SAGE_ROOT/tox.ini