# this script is just the operations done by these make's, which
# is misleading when this script does lotso other operations too.
# -- WHN
# this script is just the operations done by these make's, which
# is misleading when this script does lotso other operations too.
# -- WHN