+# Determine what to build for 'gnattools'
+if test $build = $target ; then
+ # Note that build=target is almost certainly the wrong test; FIXME
+ default_gnattools_target="gnattools-native"
+else
+ default_gnattools_target="gnattools-cross"
+fi
+AC_SUBST([default_gnattools_target])
+