Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

Change server for publishing Gambit releases

  • Loading branch information...
commit 093d11c149903ccad090bfb5fd33bb47220d4737 1 parent c6f9fc0
@feeley authored
Showing with 3 additions and 3 deletions.
  1. +2 −2 include/stamp.h
  2. +1 −1  misc/publish-release
View
4 include/stamp.h
@@ -2,5 +2,5 @@
* Time stamp of last source code repository commit.
*/
-#define ___STAMP_YMD 20140205
-#define ___STAMP_HMS 152008
+#define ___STAMP_YMD 20140207
+#define ___STAMP_HMS 144235
View
2  misc/publish-release
@@ -19,4 +19,4 @@ done
echo "You will have to enter the Gambit web site password to confirm the operation."
echo ""
-tar cf - $TGZ $TGZ_DEVEL $PREBUILT | ssh -o PreferredAuthentications=keyboard-interactive,password gambit@frontal07.iro.umontreal.ca "rm -rf release-$VERSION;mkdir release-$VERSION;(cd release-$VERSION && tar xvf -);bin/publish-release $VERSION $TGZ $TGZ_DEVEL $PREBUILT;rm -rf release-$VERSION"
+tar cf - $TGZ $TGZ_DEVEL $PREBUILT | ssh -o PreferredAuthentications=keyboard-interactive,password gambit@frontal04.iro.umontreal.ca "rm -rf release-$VERSION;mkdir release-$VERSION;(cd release-$VERSION && tar xvf -);bin/publish-release $VERSION $TGZ $TGZ_DEVEL $PREBUILT;rm -rf release-$VERSION"
Please sign in to comment.
Something went wrong with that request. Please try again.