diff options
Diffstat (limited to 'ubuntu/_base/tdemultimedia')
| -rwxr-xr-x | ubuntu/_base/tdemultimedia/debian/rules | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ubuntu/_base/tdemultimedia/debian/rules b/ubuntu/_base/tdemultimedia/debian/rules index e0ee9cd83..7234ee70e 100755 --- a/ubuntu/_base/tdemultimedia/debian/rules +++ b/ubuntu/_base/tdemultimedia/debian/rules @@ -19,6 +19,7 @@ DEB_CONFIGURE_EXTRA_FLAGS := \ # "juk/Makefile.am: arts_includes vs ARTS_CFLAGS" in -talk. DEB_CMAKE_EXTRA_FLAGS := \ + -DCMAKE_EXPORT_COMPILE_COMMANDS="ON" \ -DCMAKE_INSTALL_PREFIX="/opt/trinity" \ -DCONFIG_INSTALL_DIR="/etc/trinity" \ -DSYSCONF_INSTALL_DIR="/etc/trinity" \ |