diff options
author | dos-reis <gdr@axiomatics.org> | 2007-08-14 21:00:23 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2007-08-14 21:00:23 +0000 |
commit | ba1a657e67629e6eff47468e04b1fad7f0599f66 (patch) | |
tree | 045f9ac588831c370185e2a9b6dcf9a7229da68e /configure | |
parent | 1e070ebeafe1783215ec7547a056168038555848 (diff) | |
download | open-axiom-ba1a657e67629e6eff47468e04b1fad7f0599f66.tar.gz |
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -19060,8 +19060,8 @@ test -n "$target_alias" && if test $build != $target; then { echo "$as_me:$LINENO: WARNING: Cross build is not supported." >&5 echo "$as_me: WARNING: Cross build is not supported." >&2;} - { echo "$as_me:$LINENO: WARNING: Please notify axiom-developer@nongnu.org if you succeed." >&5 -echo "$as_me: WARNING: Please notify axiom-developer@nongnu.org if you succeed." >&2;} + { echo "$as_me:$LINENO: WARNING: Please notify open-axiom-devel@open-axiom.org if you succeed." >&5 +echo "$as_me: WARNING: Please notify open-axiom-devel@open-axiom.org if you succeed." >&2;} fi ## Where tools for the build platform are sequestered axiom_build_sharedir=$axiom_builddir/share |