diff options
| author | Artur Signell <artur@vaadin.com> | 2016-09-20 22:40:49 +0300 |
|---|---|---|
| committer | Artur Signell <artur@vaadin.com> | 2016-09-20 22:40:52 +0300 |
| commit | fe9438e7b77c606855cfd739dd7e30b3f8cd4165 (patch) | |
| tree | 779a81548a460f404d01e749a7ba83c43d5ca05c /scripts | |
| parent | a2d6e4fb4b1fd13e9a1b88f2ab1b78d14d8b64a9 (diff) | |
| download | vaadin-framework-fe9438e7b77c606855cfd739dd7e30b3f8cd4165.tar.gz vaadin-framework-fe9438e7b77c606855cfd739dd7e30b3f8cd4165.zip | |
Specify branch also for Sampler
Although sampler is pre cloned, the script still tries to
mess with the defined branch (master is not found in the cloned
repo)
Change-Id: I91f31fe0a276221cc357cf0678759ad4125c518e
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/BuildDemos.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/BuildDemos.py b/scripts/BuildDemos.py index aafd9227f1..6f46add374 100644 --- a/scripts/BuildDemos.py +++ b/scripts/BuildDemos.py @@ -20,7 +20,7 @@ demos = { "parking" : ("https://github.com/vaadin/parking-demo.git", "7.7"), "addressbook" : ("https://github.com/vaadin/addressbook.git", "7.7"), "grid-gwt" : ("https://github.com/vaadin/grid-gwt.git", "7.7"), - "sampler" : "demos/sampler" + "sampler" : ("demos/sampler", "7.7") # "my-demo" : ("my_demo_url_or_path", "my-demo-dev-branch") } |