chmod 444 for read-only generated files instead of -w.
authorMike Taylor <mike@indexdata.com>
Wed, 2 Apr 2014 06:58:46 +0000 (07:58 +0100)
committerMike Taylor <mike@indexdata.com>
Wed, 2 Apr 2014 06:58:46 +0000 (07:58 +0100)
commit2bb724366c5245254fd38c931cca9260cd236ebd
treea4b1717bb37f4a6ebab2d67837ed16ace373da84
parent5f24393d83dca083322a5113c9dd01e69fdb2027
chmod 444 for read-only generated files instead of -w.
That's because chmod -w on the file in a directory with g+s fails with:
$ chmod -w jquery.json-2.4.js
chmod: jquery.json-2.4.js: new permissions are r--rw-r--, not r--r--r--
and this impedes the Jenkins testing.
src/Makefile