Mirrors_Framework/paparazzi
1
0
Fork 0
mirror of https://github.com/paparazzi/paparazzi.git synced 2026-05-31 03:57:45 +08:00
Code Issues Actions 24 Packages Projects Releases Wiki Activity

Set correctly HOME and SRC with the current directory

Browse Source
This commit is contained in:
Pascal Brisset
2007-09-04 21:11:46 +00:00
parent 203c6c4e44
commit 08860c735f
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
paparazzi
+1
View File
@@ -5,6 +5,7 @@ let dirname = Filename.dirname Sys.argv.(0)
let env = let env =
Array.map (fun var -> Array.map (fun var ->
let value = try Sys.getenv var with _ -> dirname in let value = try Sys.getenv var with _ -> dirname in
let value = if value = "." then Sys.getcwd () else value in
Printf.sprintf "%s=%s" var value) Printf.sprintf "%s=%s" var value)
[|"PAPARAZZI_SRC"; "PAPARAZZI_HOME"|] [|"PAPARAZZI_SRC"; "PAPARAZZI_HOME"|]
let com = dirname // "sw/supervision/paparazzicenter";; let com = dirname // "sw/supervision/paparazzicenter";;