diff options
Diffstat (limited to 'buildrom-withgrub')
| -rwxr-xr-x | buildrom-withgrub | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/buildrom-withgrub b/buildrom-withgrub index e9d511a1..1f060381 100755 --- a/buildrom-withgrub +++ b/buildrom-withgrub @@ -19,6 +19,8 @@ # along with this program. If not, see <http://www.gnu.org/licenses/>. # +set -u -e -v + # DO NOT RUN THIS DIRECTLY! # Use "build" |