diff options
Diffstat (limited to 'dgbuilder/git_scripts/gitckout')
| -rwxr-xr-x | dgbuilder/git_scripts/gitckout | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/dgbuilder/git_scripts/gitckout b/dgbuilder/git_scripts/gitckout deleted file mode 100755 index 3db9db82..00000000 --- a/dgbuilder/git_scripts/gitckout +++ /dev/null @@ -1,15 +0,0 @@ -if [ "$#" != "2" ] -then - echo "Usage $0 commitId full_path_to_the_source_file" - exit -fi -fileName=$(basename $2) -dirName=$(dirname $2) -commitId=$1 -cd $dirName -if [ -e "$2" ] -then - rm $2 2>/dev/null -fi -git checkout $commitId $fileName -cat $fileName |