#!/bin/bash # # # See . Poplog compiles while loading, so # there is no need to load the compilation-script. POPLOG=${POPLOG:-"poplog"} ulimit -s 8192 make clean optimize-files $POPLOG <