log date an git ID of mkws.js in mkws-complete.js header
authorWolfram Schneider <wosch@indexdata.dk>
Wed, 3 Jul 2013 12:54:30 +0000 (12:54 +0000)
committerWolfram Schneider <wosch@indexdata.dk>
Wed, 3 Jul 2013 12:54:30 +0000 (12:54 +0000)
experiments/spclient/Makefile

index 86daeb4..38d83f4 100644 (file)
@@ -6,7 +6,9 @@ MKWS_JS=        mkws-complete.js
 all: ${MKWS_JS}
 
 mkws-js ${MKWS_JS}: ../../../libjs-pz2/pz2api.1.js mkws.js
-       ( curl -sSf http://code.jquery.com/jquery-1.10.0.min.js; \
+       ( echo "/* created at: $$(date)"; \
+         echo "   mkws.js GIT id: $$(git log mkws.js | head -n 1 | perl -npe 's,\S+\s+,,') */"; \
+         curl -sSf http://code.jquery.com/jquery-1.10.0.min.js; \
          cat ../../../libjs-pz2/pz2api.1.js mkws.js ) > ${MKWS_JS}.new 
        mv -f ${MKWS_JS}.new ${MKWS_JS}