# GDEV -- Host dependent graphics device drivers.

(cd sgidev;  sh -x mkpkg.sh)