Update configuration file

Jürgen Knödlseder
1 parent de10a102
Showing 1 changed file with 1 additions and 0 deletions
configure.ac
@@ -1026,6 +1026,7 @@ AC_CONFIG_FILES([Makefile
                  src/ctskymap/Makefile
                  src/ctselect/Makefile
                  src/ctphase/Makefile
+                 src/ctprob/Makefile
                  src/ctexpcube/Makefile
                  src/ctpsfcube/Makefile
                  src/ctedispcube/Makefile