diff options
author | Morgan Deters <mdeters@gmail.com> | 2010-07-07 00:04:41 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2010-07-07 00:04:41 +0000 |
commit | 227961228dec11a2dae7d66ab7246014d0b491ba (patch) | |
tree | 127cbf5d32a564fb4f20723019ffcb8b064ec976 /contrib | |
parent | 868d2f9cf7c8dcdee6dbf7d88b4d002065e8ae68 (diff) |
things for competition upload: new "make submission" target
Diffstat (limited to 'contrib')
-rwxr-xr-x | contrib/switch-config | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/contrib/switch-config b/contrib/switch-config index ad28464e7..83351da29 100755 --- a/contrib/switch-config +++ b/contrib/switch-config @@ -51,7 +51,8 @@ if ! [ -d "builds/$arch" ] || ! [ -d "builds/$arch/$build" ] || [ ${#builds[@]} fi function switchto { - perl -pi -e 's,^CURRENT_BUILD *= *.*,CURRENT_BUILD = '$arch/$1',' builds/current + config/mkbuilddir "$arch" "$1" >/dev/null + #perl -pi -e 's,^CURRENT_BUILD *= *.*,CURRENT_BUILD = '$arch/$1',' builds/current echo "Current build switched to \`$1'." } |