Skip to content

Commit

Permalink
WIP
Browse files Browse the repository at this point in the history
  • Loading branch information
fingolfin committed Jan 23, 2023
1 parent cc25b72 commit 1ea763d
Showing 1 changed file with 7 additions and 7 deletions.
14 changes: 7 additions & 7 deletions autogen.sh
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
#!/bin/sh
#!/bin/sh -ex
#
# Regenerate configure from configure.ac. Requires GNU autoconf.
set -ex
mkdir -p gen
aclocal -Wall --force
autoconf -Wall -f
autoheader -Wall -f
# Semigroups package for GAP
#
# This file is part of the build system of a GAP kernel extension.
# Requires GNU autoconf, GNU automake and GNU libtool.
#
autoreconf -vif `dirname "$0"`

0 comments on commit 1ea763d

Please sign in to comment.