Parametrize run-with-jhbuild and update-webkitgtk-libs with platform --gtk/--efl
[WebKit-https.git] / Tools / jhbuild /
drwxr-xr-x   ..
-rwxr-xr-x 4967 jhbuild-wrapper