You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
|
|
|
|
#!/bin/bash
|
|
|
|
|
|
|
|
|
|
if [ ! "$COMMIT_HASH" = "" ]; then
|
|
|
|
|
echo "Using COMMIT_HASH=$COMMIT_HASH"
|
|
|
|
|
git reset --hard $COMMIT_HASH
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
make
|
