diff options
| author | Stefan Radomski <github@mintwerk.de> | 2017-01-27 21:54:43 (GMT) |
|---|---|---|
| committer | Stefan Radomski <github@mintwerk.de> | 2017-01-27 21:54:43 (GMT) |
| commit | 7f83038a1ef642b883417cc984d1f8ca9f0bc64b (patch) | |
| tree | fd9236e866a06b250992e84bbf41324adf93a9fd /config.h.in | |
| parent | b450411ee8f0a57f3ec3909d65ecc289189e2b35 (diff) | |
| download | uscxml-7f83038a1ef642b883417cc984d1f8ca9f0bc64b.zip uscxml-7f83038a1ef642b883417cc984d1f8ca9f0bc64b.tar.gz uscxml-7f83038a1ef642b883417cc984d1f8ca9f0bc64b.tar.bz2 | |
Reactivated BUILD_AS_PLUGINS
Diffstat (limited to 'config.h.in')
| -rw-r--r-- | config.h.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/config.h.in b/config.h.in index cdead01..ae184c0 100644 --- a/config.h.in +++ b/config.h.in @@ -73,6 +73,7 @@ #cmakedefine WITH_DM_C89 #cmakedefine WITH_DM_PROMELA +#cmakedefine BUILD_AS_PLUGINS /** Optional libraries we found */ #cmakedefine UMUNDO_FOUND |