diff options
| -rw-r--r-- | sm/dist_dev.sm | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/sm/dist_dev.sm b/sm/dist_dev.sm index 8a77f86..c3ec99e 100644 --- a/sm/dist_dev.sm +++ b/sm/dist_dev.sm @@ -18,7 +18,3 @@ TABLE distribute HOST nott jwcalibdev cadeau CMD sync_ssbdev RUN "synctool - ssbdev" AFTER test_dev/install_dev - IF ssbdev_dist: - CMD sync_envconfig RUN "synctool - envconfig.mac" - AFTER sync_ssbdev - |