Merge remote-tracking branch 'origin/main' into ide-messages

idris-hackers · Jan 5, 2022 · 8b6f76d · 8b6f76d
2 parents fce35c4 + 7d834eb
commit 8b6f76d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Makefile b/Makefile
@@ -71,6 +71,7 @@ getdeps:
 		    ((need-pkgs '($(NEED_PKGS))) \
 		     (want-pkgs (seq-remove #'package-installed-p need-pkgs))) \
 		  (unless (null want-pkgs) \
+		    (package-initialize) \
 		    (package-refresh-contents) \
 		    (mapcar #'package-install want-pkgs)))"