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