From 7c5c7b9d056f3dc9608c5a95df445ae337070924 Mon Sep 17 00:00:00 2001
From: Jean-Michel Picod <jmichel@google.com>
Date: Wed, 11 Mar 2020 18:31:09 +0100
Subject: [PATCH] Ensure we have something to do.
---
deploy.py | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/deploy.py b/deploy.py
index 524782a..fbf1b63 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()
--
GitLab