diff options
author | Pali Rohár <pali.rohar@gmail.com> | 2017-12-22 23:21:55 +0100 |
---|---|---|
committer | Pali Rohár <pali.rohar@gmail.com> | 2017-12-22 23:21:55 +0100 |
commit | 4e79ab4ac48dd923506f7f165cbfb32e87ca2710 (patch) | |
tree | 3194c922a50ea8c7f313114c18e02ecc34f180e3 /test | |
parent | bd203c036bf6a8a900fb9557f9dfa95b6eb1f46b (diff) |
Fix compiling storm_test executable
Compile it really only if STORM_BUILD_TESTS is enabled and link it against
compiled StormLib library instead of compiling all source files again.
Diffstat (limited to 'test')
0 files changed, 0 insertions, 0 deletions