diff options
Diffstat (limited to 'gas/configure')
-rwxr-xr-x | gas/configure | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/gas/configure b/gas/configure index a0d1763..374a6b0 100755 --- a/gas/configure +++ b/gas/configure @@ -12029,6 +12029,13 @@ _ACEOF fi ;; + rx) + echo ${extra_objects} | grep -s "rx-parse.o" + if test $? -ne 0 ; then + extra_objects="$extra_objects rx-parse.o" + fi + ;; + xstormy16) using_cgen=yes ;; |