diff --git a/deploy.py b/deploy.py
index 524782a26424a8f5cb60eba418e7b1ec1d667caf..fbf1b63ad1cb4e4c4fd0886cb6f6d534258687ac 100755
--- a/deploy.py
+++ b/deploy.py
@@ -547,6 +547,10 @@ class OpenSKInstaller:
     self.check_prerequisites()
     self.update_rustc_if_needed()
 
+    if not self.args.tockos and not self.args.application:
+      info("Nothing to do.")
+      return 0
+
     # Compile what needs to be compiled
     if self.args.tockos:
       self.build_tockos()