diff options
| author | jahoti <jahoti@tilde.team> | 2021-10-13 00:00:00 +0000 |
|---|---|---|
| committer | jahoti <jahoti@tilde.team> | 2021-10-13 00:00:00 +0000 |
| commit | ee53045fb37bbd80cef4c899dff6b077df5260d6 (patch) | |
| tree | 7878e023b72d2e5da707f916f4994f3ea149587f /write_makefile.sh | |
| parent | 564cb260f6718f6d55ea1b61e60dcacc6d4ad305 (diff) | |
| download | browser-extension-ee53045fb37bbd80cef4c899dff6b077df5260d6.tar.gz browser-extension-ee53045fb37bbd80cef4c899dff6b077df5260d6.zip | |
Add GNU's make targets, implementing dist
Distribution tarballs can now be made with "make dist".
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 6aca660..d5c0fa9 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 + echo "Record of configuration 'record.conf' does not exist." >&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 + echo "Record of configuration 'record.conf' is invalid." >&2 exit 2 fi |