All new accounts created on Gitlab now require administrator approval. If you invite any collaborators, please let Flux staff know so they can approve the accounts.

Commit a9514d40 authored by Mac Newbold's avatar Mac Newbold

Fix a small annoyance.

parent 0cf62e63
......@@ -132,7 +132,7 @@ sub tb_fail {
# Clean out any old ns files in the dir (esp. temps made by tbprerun),
# then copy in the new ns file.
system("rm *.ns");
system("rm -f *.ns");
print "Debug: $dir/nsfile.ns\n";
system("cp -f $dir/nsfile.ns .");
if (($? >> 8) != 0) {
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment