]> granicus.if.org Git - python/commitdiff
projects / python / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 6585166)
refresh every 12 hours for crazy people like me that keep the page up
authorNeal Norwitz <nnorwitz@gmail.com>
Mon, 16 Jan 2006 04:37:22 +0000 (04:37 +0000)
committerNeal Norwitz <nnorwitz@gmail.com>
Mon, 16 Jan 2006 04:37:22 +0000 (04:37 +0000)
Misc/build.sh patch | blob | history

diff --git a/Misc/build.sh b/Misc/build.sh
index f9d8f653b39ef087097c9cd1d6fe61cda98727cc..514921a05d4b1657a1bbe25dbcf6894fd5ed5a6c 100755 (executable)
--- a/Misc/build.sh
+++ b/Misc/build.sh
@@ -82,7 +82,11 @@ rm -rf $INSTALL_DIR
 
 ## create results file
 TITLE="Automated Python Build Results"
-echo "<html><head><title>$TITLE</title></head>" >> $RESULT_FILE
+echo "<html>" >> $RESULT_FILE
+echo "  <head>" >> $RESULT_FILE
+echo "    <title>$TITLE</title>" >> $RESULT_FILE
+echo "    <meta http-equiv=\"refresh\" content=\"43200\">" >> $RESULT_FILE
+echo "  </head>" >> $RESULT_FILE
 echo "<body>" >> $RESULT_FILE
 echo "<h2>Automated Python Build Results</h2>" >> $RESULT_FILE
 echo "<table>" >> $RESULT_FILE
Unnamed repository; edit this file 'description' to name the repository.