]> git.tue.mpg.de Git - paraslash.git/commit
build: Simplify condition for building para_server.
authorAndre Noll <maan@tuebingen.mpg.de>
Sat, 24 Jun 2023 16:56:00 +0000 (18:56 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Sun, 17 Mar 2024 11:34:49 +0000 (12:34 +0100)
commit6bce9c7d544e967e73128e06f3ee2fc9ebc10e69
tree9e9d04e8ac28bd58bdae6f6f8eabdd0e71cfe765
parentf306117cccdb04ba1dc74eba21aef138e114c540
build: Simplify condition for building para_server.

We fail the configure script earlier if flex or bison are not
installed, so we don't need to repeat this check here.
configure.ac