CI: [nfc] remove writing of OS_ID file

As of the prior commit, nothing uses this.

diff --git a/ci/install-packages.sh b/ci/install-packages.sh
index f6418196e54137c6822f36a932ec2bc5694cc176..1ceacfa5fa35856d3933e789e72e1cf7d0220708 100755 (executable)
--- a/ci/install-packages.sh
+++ b/ci/install-packages.sh
@@ -12,7 +12,6 @@ else
     cat /etc/os-release
     . /etc/os-release
 fi
-printf '%s\n' "${ID}" >OS_ID
 GV_VERSION=$( cat GRAPHVIZ_VERSION )
 DIR=Packages/${ID}/${VERSION_ID}
 ARCH=$( uname -m )