Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
FIX: forget to update filename in DefinePackage.cmake
authorPaul Bédaride <paul.bedaride@gmail.com>
Thu, 20 Feb 2014 15:23:35 +0000 (16:23 +0100)
committerPaul Bédaride <paul.bedaride@gmail.com>
Thu, 20 Feb 2014 15:23:35 +0000 (16:23 +0100)
buildtools/Cmake/DefinePackages.cmake

index fd3a7a4..9e7f0d7 100644 (file)
@@ -2,7 +2,7 @@
 
 set(EXTRA_DIST
   include/xbt/win32_ucontext.h
 
 set(EXTRA_DIST
   include/xbt/win32_ucontext.h
-  src/bindings/java/MANIFEST.MF
+  src/bindings/java/MANIFEST.MF.in
   src/include/instr/instr_interface.h
   src/include/mc/datatypes.h
   src/include/mc/mc.h
   src/include/instr/instr_interface.h
   src/include/mc/datatypes.h
   src/include/mc/mc.h