diff options
Diffstat (limited to '')
| -rw-r--r-- | config-ml.in | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/config-ml.in b/config-ml.in index 807cc0b2cb..48b2fd0a67 100644 --- a/config-ml.in +++ b/config-ml.in @@ -226,6 +226,21 @@ h8300-*-rtems*) done ;; +nios2-*-rtems*) + old_multidirs=${multidirs} + multidirs="" + for x in ${old_multidirs}; do + case "${x}" in + *pg* ) : ;; + *EB* ) : ;; + *hw-mulx* ) : ;; + *fpu* ) : ;; + *stack-check* ) : ;; + *) multidirs="${multidirs} ${x}" ;; + esac + done + ;; + sh-*-rtems*) old_multidirs=${multidirs} multidirs="" |