Admin/Linux/build
author wenzelm
Wed Nov 01 22:13:38 2017 +0100 (19 months ago)
changeset 66986 5188b1c59434
parent 54313 da2e6282a4f5
permissions -rwxr-xr-x
more timing;
     1 #!/usr/bin/env bash
     2 
     3 cc -static -m32 Isabelle.c -o Isabelle
     4