diff options
| -rwxr-xr-x | build-tor-sources | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/build-tor-sources b/build-tor-sources index 768d95d..4273f2a 100755 --- a/build-tor-sources +++ b/build-tor-sources @@ -2,7 +2,7 @@ # helper script to build tor debian releases -# Copyright 2007,2008,2009,2010,2011,2012 Peter Palfrader +# Copyright 2007,2008,2009,2010,2011,2012,2013 Peter Palfrader # # Permission is hereby granted, free of charge, to any person obtaining # a copy of this software and associated documentation files (the @@ -25,8 +25,6 @@ set -e -SKIP_HARDY=0 - assert_files_dont_exist () { local pkg="$1"; shift local debian_version="$1"; @@ -291,7 +289,6 @@ case "$(basename $0)" in set -x GITDIR="$HOME/projects/debian/debian/obfsproxy/obfsproxy" PKG="obfsproxy" - SKIP_HARDY=1 main "${1:-}" ${2:-1} $GITDIR $PKG ;; build-tor-sources) |