Fix the --smp, --tcg options properly this time.
[supernested.git] / build-supernested.sh.in
2014-07-03 Richard W.M. JonesInitial updates.
2014-07-03 Richard W.M. JonesInitial commit.