Fixed GCC augmentation script
authorAndrew Waterman <waterman@parcad.millennium.berkeley.edu>
Tue, 1 Dec 2009 04:22:40 +0000 (20:22 -0800)
committerAndrew Waterman <waterman@parcad.millennium.berkeley.edu>
Tue, 1 Dec 2009 04:22:40 +0000 (20:22 -0800)
scripts/augment-gcc

index ccf1ad4..23b34b6 100755 (executable)
@@ -51,6 +51,5 @@ overwrite $1 tmp/libgcc.a libgcc.a
 rm -rf tmp
 
 SYS_INC=`find $1 -iname sys-include`
 rm -rf tmp
 
 SYS_INC=`find $1 -iname sys-include`
-rm -rf $SYS_INC/ros
-cp -r user/parlib/inc/ros $SYS_INC
+cp -Lr user/parlib/inc/* $SYS_INC