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

Print out diff.

This commit is contained in:
Dave Davenport 2016-10-19 21:19:19 +02:00
parent a78d0b53fc
commit ba2188d649

View file

@ -6,6 +6,7 @@ rofi -h -config ${TOP_DIR}/doc/test_xr.txt | grep -v "Version"> help-output.txt
if ! diff help-output.txt ${TOP_DIR}/doc/help-output.txt > /dev/null
then
diff help-output.txt ${TOP_DIR}/doc/help-output.txt
echo "Help output does not match."
exit 1;
fi