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);
wenzelm@54313
     1
#!/usr/bin/env bash
wenzelm@54313
     2
wenzelm@54313
     3
cc -static -m32 Isabelle.c -o Isabelle
wenzelm@54313
     4