$DIST $NAME
This commit is contained in:
parent
3b065694d5
commit
2245f99692
3
Makefile
3
Makefile
|
@ -1,3 +1,6 @@
|
|||
debian-OK:
|
||||
./enter-datapoint.sh debian OK
|
||||
|
||||
gentoo-OK:
|
||||
./enter-datapoint.sh gentoo OK
|
||||
git add --all
|
||||
|
|
|
@ -14,6 +14,8 @@ fi
|
|||
|
||||
touch $DIST/$STAMP.$NAME
|
||||
|
||||
git add --all
|
||||
git commit -m '$DIST $NAME'
|
||||
exit
|
||||
|
||||
if [ -f "$BASE/$DIST.status.RUNNING" ]; then
|
||||
|
|
Loading…
Reference in New Issue