Commit 52e761b9 authored by Andreas Klebinger's avatar Andreas Klebinger

Record dom-lt in spectral Makefile.

Otherwise it isn't run by default.
parent 8d75c7ee
Pipeline #7544 passed with stage
in 24 minutes and 55 seconds
......@@ -3,7 +3,7 @@ include $(TOP)/mk/
# TODO(michalt): Re-enable `secretary` (requires `random`)
SUBDIRS = ansi atom awards banner boyer boyer2 calendar cichelli circsim \
clausify constraints cryptarithm1 cryptarithm2 cse eliza expert \
clausify constraints cryptarithm1 cryptarithm2 cse dom-lt eliza expert \
exact-reals fft2 fibheaps fish gcd hartel integer knights lambda \
last-piece lcss life mandel mandel2 mate minimax multiplier para \
power pretty primetest puzzle rewrite scc simple sorting sphere \
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment