]> rtime.felk.cvut.cz Git - l4.git/blobdiff - l4/pkg/Makefile
update
[l4.git] / l4 / pkg / Makefile
index b035bf7d5dedf774e4a47724530d719c97fae26e..ca2196a50e5926bff9cbac7231200a0622b04f70 100644 (file)
@@ -131,7 +131,7 @@ depcheck:
          echo ==========================================================;     \
          echo "Deleting all pkgs in build-dir";                               \
          $(RM) -r $(OBJ_BASE)/lib $(OBJ_BASE)/bin $(OBJ_BASE)/include         \
-                  $(OBJ_BASE)/pc;                                             \
+                  $(OBJ_BASE)/pc $(OBJ_BASE)/pkg/.Package.deps;               \
          $(if $(CHECK_FULL),$(RM) -r $(OBJ_BASE)/pkg;,)                       \
          echo "Done";                                                         \
          echo ----------------------------------------------------------;     \