fpstest/run

   1 #!/bin/sh
   2
   3 # fix Ubuntu-specific problems:
   4 unset UBUNTU_MENUPROXY
   5 unset GTK_MODULES
   6 env \
   7   BB_PRIMARY_DIR="../../Linux_GUI" BB_SECONDARY_DIR="$PWD" \
   8 ../../Linux_GUI/blackbox