diff options
| author | psa <psa@ubuntu> | 2014-06-25 10:28:43 +0200 |
|---|---|---|
| committer | psa <psa@ubuntu> | 2014-06-25 10:28:43 +0200 |
| commit | f9bcf41cc68ac189781239c15ffc0fb52d086fdc (patch) | |
| tree | 115753f9633aa534af1b0375dd0454a1796b3997 | |
| parent | 83af236086378785cbec01e1d70863a5d2382fbc (diff) | |
| download | poi-service-f9bcf41cc68ac189781239c15ffc0fb52d086fdc.tar.gz | |
set the version of positioning (not HEAD)
| -rw-r--r-- | src/navigation/script/0positioning.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/navigation/script/0positioning.mk b/src/navigation/script/0positioning.mk index d1f8e6d..db089fb 100644 --- a/src/navigation/script/0positioning.mk +++ b/src/navigation/script/0positioning.mk @@ -28,7 +28,7 @@ positioning_BIN=$(BIN_DIR)/positioning gnss-service_BIN=$(BIN_DIR)/gnss-service sensors-service_BIN=$(BIN_DIR)/sensors-service positioning_URL=http://git.projects.genivi.org/lbs/positioning.git -positioning_VERSION=HEAD +positioning_VERSION=40c43fd3ae2210a2cfc634cf6628e97fbcd41d93 positioning_SRC=$(SRC_DIR)/positioning_$(positioning_VERSION) positioning_API=$(positioning_SRC)/enhanced-position-service/api |