From fe9438e7b77c606855cfd739dd7e30b3f8cd4165 Mon Sep 17 00:00:00 2001 From: Artur Signell Date: Tue, 20 Sep 2016 22:40:49 +0300 Subject: [PATCH] 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 --- scripts/BuildDemos.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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") } -- 2.39.5