aboutsummaryrefslogtreecommitdiff
path: root/sm/dist_dev.sm
diff options
context:
space:
mode:
Diffstat (limited to 'sm/dist_dev.sm')
-rw-r--r--sm/dist_dev.sm2
1 files changed, 1 insertions, 1 deletions
diff --git a/sm/dist_dev.sm b/sm/dist_dev.sm
index e420658..8a77f86 100644
--- a/sm/dist_dev.sm
+++ b/sm/dist_dev.sm
@@ -12,7 +12,7 @@ TABLE build_docs HOST jwcalibdev
AFTER OPT test_dev/install_dev
-TABLE distribute HOST nott jwcalibdev
+TABLE distribute HOST nott jwcalibdev cadeau
IF ssbdev_dist:
CMD sync_ssbdev RUN "synctool - ssbdev"