-
Notifications
You must be signed in to change notification settings - Fork 631
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #4089 from gforney/development
cleanup some build scripts Former-commit-id: 874deca1ebf073329d40f4950805d16ab8f04a4f [formerly 0d1f5d191d677465c7c7093f5b87d22f667dc1cf] Former-commit-id: da0a7f9169999327139602874e65055940fb1132 Former-commit-id: 28edbe9
- Loading branch information
Showing
5 changed files
with
38 additions
and
7 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,13 @@ | ||
#!/bin/bash | ||
|
||
directory=$1 | ||
host=$2 | ||
|
||
echo Updating the GIT repository $directory on $host to the latest revision | ||
echo | ||
cd ~/$directory | ||
git checkout development | ||
git remote update | ||
git merge origin/development | ||
git merge firemodels/development | ||
git describe --dirty |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,19 @@ | ||
#!/bin/bash | ||
|
||
CURDIR=`pwd` | ||
SCRIPTDIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )" | ||
GITROOT=$SCRIPTDIR/../.. | ||
cd $GITROOT | ||
GITROOT=`pwd` | ||
|
||
cd $GITROOT/FDS_Source | ||
git clean -dxf | ||
cd $GITROOT/FDS_Compilation | ||
git clean -dxf | ||
|
||
cd $GITROOT/SMV/source | ||
git clean -dxf | ||
cd $GITROOT/SMV/Build | ||
git clean -dxf | ||
|
||
cd $CURDIR |