4 echo "*** mkconfig: $*" 1>&2
8 [ -f makefile
] || die
"can not find 'makefile'"
12 -e 's,^,#define PICOSAT_,' \
18 if [ -d .git
-a -f .git
/HEAD
]
20 head="`awk 'NF == 1' .git/HEAD`"
23 head="`awk '{print $2}' .git/HEAD`"
24 if [ ! x
"$head" = x
-a -f ".git/$head" ]
26 id
=" `cat .git/$head`"
33 echo "#define PICOSAT_VERSION \"`cat VERSION`$id\""