| commit | 60007da660e936633c4948d1aae52da66d4ddb3d | [log] [tgz] |
|---|---|---|
| author | Philipp Gühring <pg@futureware.at> | Tue Jun 29 09:23:01 2021 +0200 |
| committer | Philipp Gühring <pg@futureware.at> | Tue Jun 29 09:23:01 2021 +0200 |
| tree | 9c71df0cac5cb4a34c75fec31791e52845360c1c | |
| parent | 68432cc4ce09a195909f096862f7a03cd8dc23bf [diff] |
Added user_project_wrapper to be built automatically
diff --git a/scripts/deploy2caravel.sh b/scripts/deploy2caravel.sh index 673c3e0..7fac3d2 100755 --- a/scripts/deploy2caravel.sh +++ b/scripts/deploy2caravel.sh
@@ -64,6 +64,6 @@ cd $CARAVEL #bash my.sh echo "Now building the Caravel user-project" -make user_proj_example +make user_proj_example && make user_project_wrapper echo "Deployment done.";