--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/Admin/Linux/build Mon Oct 07 21:24:44 2013 +0200 @@ -0,0 +1,4 @@ +#!/usr/bin/env bash + +cc -static -m32 Isabelle.c -o Isabelle +