echo "" >> FILELIST
echo "" >> FILELIST
echo "EXTRA_DIST = \\" >> FILELIST
-FILES=`find $DIRS -maxdepth 1 -name "*.h" -o -name "*.def" -o -name "*.sh" -o -name "*.l" -o -name "*.y"`
-FILES="$FILES `find ir -name "*.inl"`"
+FILES=$(find $DIRS -maxdepth 1 -name "*.h" -o -name "*.def" -o -name "*.sh" -o -name "*.l" -o -name "*.y")
+FILES="$FILES $(find ir adt -name "*.inl")"
for f in $FILES; do
echo -e "\t$f \\" >> FILELIST
done