etc: DependencyInstaller: Define path for dependency prefixes file fo…

…r CI Signed-off-by: Eryk Szpotanski <[email protected]>
antmicro · Aug 30, 2024 · 2a28ae7 · 2a28ae7
1 parent 8665172
commit 2a28ae7
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/etc/DependencyInstaller.sh b/etc/DependencyInstaller.sh
@@ -266,6 +266,7 @@ while [ "$#" -gt 0 ]; do
             ;;
         -ci)
             CI="yes"
+            OR_INSTALLER_ARGS="${OR_INSTALLER_ARGS} -save-deps-prefixes=/etc/openroad_deps_prefixes.txt"
             ;;
         -prefix=*)
             OR_INSTALLER_ARGS="${OR_INSTALLER_ARGS} $1"