oups!

2022-09-15 16:18:54 +02:00 · 2022-09-15 16:18:54 +02:00 · e596e11425
commit e596e11425
parent 42e12974db
1 changed files with 1 additions and 1 deletions
--- a/build.sh
+++ b/build.sh
@ -1,6 +1,6 @@
 #!/bin/bash

-set -e				# obort on error
+set -e				# abort on error

 cd Lib
 echo "========== in $PWD"