-# Our command line arguments are the stems that we'll use
-# after-xc.core to recompile. If there are no command line arguments,
-# though, make a point of not calling after-xc.core, since it might
-# not exist, and there's no point in causing a fatal failure (by
-# unsuccessfully trying to execute it) unnecessarily.
-if [ "$*" != "" ] ; then
- # Actually, I wrote this script when I needed to do a lot of
- # tweaking in src/runtime/*.c, and I haven't tried to make it
- # work for src/code/*.c yet. -- WHN 2001-05-12
- echo stub: no support yet for after-xc.core
- exit 1
-fi