From 1db9063acc50726bd54f3530084b31c44a8402f0 Mon Sep 17 00:00:00 2001 From: Wolfram Schneider Date: Tue, 20 May 2014 13:14:13 +0000 Subject: [PATCH] Store the GID id of the last commit in mkws-complete.js We used the gid id from mkws.js, but that's no longer usefull after we split mkws.js into parts --- src/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Makefile b/src/Makefile index 09fd6ee..82cf254 100644 --- a/src/Makefile +++ b/src/Makefile @@ -41,7 +41,7 @@ mkws-js mkws-complete.js: Makefile mkws.js mkws-jquery.js ${HANDLEBARS_FILE} ${J echo "/*! Copyright (c) 2013-2014 IndexData ApS. http://indexdata.com"; \ echo " Licence: GPL, http://www.indexdata.com/licences/gpl"; \ echo " created at: $$(date)"; \ - echo " mkws.js GIT id: $$(git log mkws.js | head -n 1 | perl -npe 's,\S+\s+,,')"; \ + echo " MKWS GIT id: $$(git show | head -n 1 | perl -npe 's,\S+\s+,,')"; \ echo " pz2.js GIT id: $$(curl -sSf 'http://git.indexdata.com/?p=pazpar2.git;a=rss' | egrep ',')"; \ echo "*/"; \ cat ${JQUERY_FILE}; \ -- 1.7.10.4