1
0
Fork 0
mirror of https://github.com/davatorium/rofi.git synced 2024-11-18 13:54:36 -05:00

Remove deprecated option from configure.

This commit is contained in:
Dave Davenport 2019-10-29 13:33:04 +01:00
parent aeecf34c27
commit 0edcd7cfd3

View file

@ -154,11 +154,6 @@ AC_OUTPUT
echo "" echo ""
echo "-------------------------------------" echo "-------------------------------------"
if test x$enable_timings = xyes; then
echo "Timing output: Enabled"
else
echo "Timing output: Disabled"
fi
if test x$enable_drun != xno; then if test x$enable_drun != xno; then
echo "Desktop File drun dialog Enabled" echo "Desktop File drun dialog Enabled"
else else