Merge branch 'master' into devel

[wrffire.git] / standalone / commit_hash

#!/bin/csh -f
set g=`which git >& /dev/null`
if ($status) then
   set v=`date`
else
   set v=(`git log | head -1`  `git diff --shortstat`)
endif
echo id="'$v'"