summaryrefslogtreecommitdiff
path: root/write_makefile.sh
diff options
context:
space:
mode:
authorjahoti <jahoti@tilde.team>2021-10-13 00:00:00 +0000
committerjahoti <jahoti@tilde.team>2021-10-13 00:00:00 +0000
commitee53045fb37bbd80cef4c899dff6b077df5260d6 (patch)
tree7878e023b72d2e5da707f916f4994f3ea149587f /write_makefile.sh
parent564cb260f6718f6d55ea1b61e60dcacc6d4ad305 (diff)
downloadbrowser-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-xwrite_makefile.sh4
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