diff options
| author | Wojtek Kosior <koszko@koszko.org> | 2021-11-30 19:31:49 +0100 |
|---|---|---|
| committer | Wojtek Kosior <koszko@koszko.org> | 2021-11-30 19:32:21 +0100 |
| commit | 6106c789ee818fd18240fd3f99eead598406852f (patch) | |
| tree | f575e45b7872b7f85b33210db5e01caf7572c615 /write_makefile.sh | |
| parent | 5b2a7a61fd5cf9982f105a3081c2ed7a298b71df (diff) | |
| download | browser-extension-6106c789ee818fd18240fd3f99eead598406852f.tar.gz browser-extension-6106c789ee818fd18240fd3f99eead598406852f.zip | |
rewrite parts of build script in awk
Diffstat (limited to 'write_makefile.sh')
| -rwxr-xr-x | write_makefile.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/write_makefile.sh b/write_makefile.sh index d5c0fa9..4011fe8 100755 --- a/write_makefile.sh +++ b/write_makefile.sh @@ -14,10 +14,10 @@ # CC0 1.0 Universal License for more details. if [ ! -e record.conf ]; then - echo "Record of configuration 'record.conf' does not exist." >&2 + printf "Record of configuration 'record.conf' does not exist.\n" >&2 exit 1 elif [ "$(head -n 1 record.conf | cut -c -9)x" != "srcdir = x" ]; then - echo "Record of configuration 'record.conf' is invalid." >&2 + printf "Record of configuration 'record.conf' is invalid.\n" >&2 exit 2 fi |