etc: DependencyInstaller: Define path for dependency prefixes file for CI

eszpotanski · eszpotanski · commit e8b645ccbbee · 2024-09-13T12:56:13.000+02:00
Signed-off-by: Eryk Szpotanski &lt;eszpotanski@antmicro.com&gt;
diff --git a/etc/DependencyInstaller.sh b/etc/DependencyInstaller.sh
@@ -278,6 +278,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"
