Admin/Linux/build
author wenzelm
Fri Apr 25 23:47:39 2014 +0200 (2014-04-25)
changeset 56734 6ca87a061740
parent 54313 da2e6282a4f5
permissions -rwxr-xr-x
suppress potential dangerous option (see 1baa5d19ac44);
     1 #!/usr/bin/env bash
     2 
     3 cc -static -m32 Isabelle.c -o Isabelle
     4