• Raymond Toy's avatar
    Set output file for FPRINT benchmark. · bc890d42
    Raymond Toy authored
    The FPRINT benchmark needs a file and it was set to "/tmp/fprint.tst",
    which doesn't exist on gitlab CI.  Just use "./tmp/fprint.tst".
    
    Let CI recipes create the "tmp" directory so the scripts don't need
    to.
    bc890d42
gabriel.lisp 47 KB