#!/bin/sh
#
# This is a quick, temporary hack to fix up the command line for
# standalone linking.
#
# Contributed by Blair MacIntyre (bm@cs.columbia.edu)
#

CMD="gcc "
for x do
        if [ "-lDYNAMIC_LINKING_AFTER_THIS" = "$x" ]; then
                CMD="$CMD -Xlinker -Bdynamic "
        else
                CMD="$CMD $x "
        fi
done
exec $CMD
