Commit 28cd7bdd authored by Guillaume Melquiond's avatar Guillaume Melquiond

Remove reference to the why3session library.

parent ea7d67cb
......@@ -294,7 +294,7 @@ endif
depend: $(LIBDEP)
CLEANDIRS += src $(addprefix src/, $(LIBDIRS))
CLEANLIBS += lib/why3/why3session lib/why3/why3
CLEANLIBS += lib/why3/why3
GENERATED += $(LIBGENERATED)
###############
......
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