Use webkitgtk without its headers

This commit is contained in:
Ilya Fedin
2021-11-06 16:23:46 +04:00
committed by John Preston
parent 1e60eb1894
commit 22b37c4bf8
5 changed files with 3 additions and 16 deletions
-3
View File
@@ -88,9 +88,6 @@ jobs:
DEFINE=""
if [ -n "${{ matrix.defines }}" ]; then
DEFINE="-D ${{ matrix.defines }}=ON"
if [ "${{ matrix.defines }}" == "DESKTOP_APP_DISABLE_DBUS_INTEGRATION" ]; then
DEFINE="$DEFINE -D DESKTOP_APP_DISABLE_WEBKITGTK=ON"
fi
echo Define from matrix: $DEFINE
echo "ARTIFACT_NAME=Telegram_${{ matrix.defines }}" >> $GITHUB_ENV
else