Revision 6106c789
Added by koszko almost 2 years ago
| write_makefile.sh | ||
|---|---|---|
| 14 | 14 |
# CC0 1.0 Universal License for more details. |
| 15 | 15 |
|
| 16 | 16 |
if [ ! -e record.conf ]; then |
| 17 |
echo "Record of configuration 'record.conf' does not exist." >&2
|
|
| 17 |
printf "Record of configuration 'record.conf' does not exist.\n" >&2
|
|
| 18 | 18 |
exit 1 |
| 19 | 19 |
elif [ "$(head -n 1 record.conf | cut -c -9)x" != "srcdir = x" ]; then |
| 20 |
echo "Record of configuration 'record.conf' is invalid." >&2
|
|
| 20 |
printf "Record of configuration 'record.conf' is invalid.\n" >&2
|
|
| 21 | 21 |
exit 2 |
| 22 | 22 |
fi |
| 23 | 23 |
|
Also available in: Unified diff
rewrite parts of build script in awk