diff options
| author | Pierre Schmitz <pierre@archlinux.de> | 2010-02-12 01:11:59 +0100 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2010-02-12 01:11:59 +0100 |
| commit | c22a6014d7de13024ae929c509b41998977e7055 (patch) | |
| tree | c118c26c7b8224991a25ca4d5e50b86485c272a0 /archrelease | |
| parent | d440e5998d1dfbc7942989df837772330b8331ee (diff) | |
| download | devtools32-0.9.0.tar.xz | |
supress confusing output of pushd and popd0.9.0
Diffstat (limited to 'archrelease')
| -rwxr-xr-x | archrelease | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/archrelease b/archrelease index 52ec8f8..7898735 100755 --- a/archrelease +++ b/archrelease @@ -21,11 +21,11 @@ if [ "$(svn diff)" != "" ]; then exit 1 fi -pushd .. +pushd .. >/dev/null if [ -d repos/$1 ]; then svn rm --force -q repos/$1 svn commit -q -m "archrelease: remove $1" fi svn copy -q -r HEAD trunk repos/$1 svn commit -q -m "archrelease: copy trunk to $1" -popd +popd >/dev/null |