diff --git a/collects/meta/build/build b/collects/meta/build/build index e80c1b4e8c..4e9b661f3b 100755 --- a/collects/meta/build/build +++ b/collects/meta/build/build @@ -1056,7 +1056,7 @@ MAIN_BUILD() { fi if is_yes make_bins; then - header -s "Creating archive" + header -s "Creating source archive" _cd "$maindir" _rm "$repotgz" _cd "$maindir/$cleandir" diff --git a/collects/meta/build/current-build-status.cgi b/collects/meta/build/current-build-status.cgi index a46cf9438e..596d23b356 100644 --- a/collects/meta/build/current-build-status.cgi +++ b/collects/meta/build/current-build-status.cgi @@ -2,12 +2,12 @@ cache="/tmp/racket-build-status-cache" cachelock="$cache-lock" -printf 'Content-type: text/plain\r\n\r\n' +printf 'Content-type: text/plain\r\nAccess-Control-Allow-Origin: *\r\n\r\n' # cache status reports (avoids excessive work during builds) # use a lockfile as a cheap hack to time cache refreshing -if ! lockfile -r 0 -l 30 -s 0 "$cachelock" >& /dev/null \ +if ! lockfile -r 0 -l 25 -s 0 "$cachelock" >& /dev/null \ && [[ -e "$cache" ]]; then cat "$cache"; exit fi