pre_marking1/mk
changeset 382 1bd800376e0c
parent 376 6cc36d0ef79e
--- a/pre_marking1/mk	Mon Nov 30 12:58:37 2020 +0000
+++ b/pre_marking1/mk	Wed Dec 02 01:15:14 2020 +0000
@@ -1,5 +1,5 @@
-#!/bin/sh
-###set -e
+#!/bin/bash
+set -euo pipefail
 
 trap "exit" INT