aboutsummaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authorGabriel Dos Reis <gdr@axiomatics.org>2016-01-25 01:10:43 -0800
committerGabriel Dos Reis <gdr@axiomatics.org>2016-01-25 01:10:43 -0800
commit0093f04cb53e58151ad3bdfbff328d564ff17caf (patch)
tree09f081e62de8e13528f1068c62e4c2d1075d4514 /configure
parentffe9a032601ffb59a10141bce13b4322a1584e87 (diff)
downloadopen-axiom-0093f04cb53e58151ad3bdfbff328d564ff17caf.tar.gz
Misc. cleanup
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure5
1 files changed, 3 insertions, 2 deletions
diff --git a/configure b/configure
index 77117458..d224ad9b 100755
--- a/configure
+++ b/configure
@@ -22238,7 +22238,7 @@ if test x$oa_has_qt = xyes; then
fi
## Generate rules to extrad SPAD type definitions from pamphlets.
-echo -n "extracting list of SPAD type definitions..."
+$as_echo_n "extracting list of SPAD type definitions..."
egrep '<<(category|domain|package) .*>>=' \
$srcdir/src/algebra/*.spad.pamphlet \
| sort | uniq | \
@@ -22251,7 +22251,8 @@ $spad_abbrev.spad: \$(srcdir)/`basename $spad_file` ; \
\$(top_confdir)/move-if-change \$@.tmp \$@
EOF
done
-echo done
+{ $as_echo "$as_me:${as_lineno-$LINENO}: result: done" >&5
+$as_echo "done" >&6; }
$srcdir/config/move-if-change \
src/algebra/tmp-extract.mk src/algebra/extract.mk