diff options
| -rwxr-xr-x | gcc/fixinc/mkfixinc.sh | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/gcc/fixinc/mkfixinc.sh b/gcc/fixinc/mkfixinc.sh index 1d154d7..33555ed 100755 --- a/gcc/fixinc/mkfixinc.sh +++ b/gcc/fixinc/mkfixinc.sh @@ -60,13 +60,13 @@ case $machine in fixincludes=fixinc.ptx ;; - *-vxworks*) - fixincludes=fixinc.copy - ;; - - *-vxworks*) - fixincludes=fixinc.copy - ;; +##LATER: *-vxworks*) +##LATER: fixincludes=fixinc.copy +##LATER: ;; +##LATER: +##LATER: *-vxworks*) +##LATER: fixincludes=fixinc.copy +##LATER: ;; alpha*-dec-*vms* | \ arm-semi-aout | \ |