diff options
author | paltherr <paltherr@epfl.ch> | 2003-12-04 17:53:29 +0000 |
---|---|---|
committer | paltherr <paltherr@epfl.ch> | 2003-12-04 17:53:29 +0000 |
commit | b0d1c8d146f42d2dd94fb47706336f888f1db012 (patch) | |
tree | 5df6ea45ff89636533c7ddcc0f4792c466271b50 | |
parent | 7feba1480e768ee6e436a832931b4eae48d84487 (diff) | |
download | scala-b0d1c8d146f42d2dd94fb47706336f888f1db012.tar.gz scala-b0d1c8d146f42d2dd94fb47706336f888f1db012.tar.bz2 scala-b0d1c8d146f42d2dd94fb47706336f888f1db012.zip |
- Added -Q flag to cvs commands
-rw-r--r-- | support/scripts/version-manager.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/support/scripts/version-manager.sh b/support/scripts/version-manager.sh index 73dce19ce4..3706dfe876 100644 --- a/support/scripts/version-manager.sh +++ b/support/scripts/version-manager.sh @@ -98,7 +98,7 @@ function version-manager() { # update version file run rm -f "$file"; - runO /dev/null cvs update "$file"; + run cvs -Q update "$file"; # get old value local old_value=`tail -1 "$file"`; @@ -139,7 +139,7 @@ function version-manager() { run mv "$file~" "$file"; # commit version file - runO /dev/null cvs commit -m "Set version to $new_value" "$file"; + runO /dev/null cvs -Q commit -m "Set version to $new_value" "$file"; if [ "$command" = "set" ]; then echo "Successfully changed version to $new_value"; |