X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=tests%2Flanguage%2Futilities%2Fpermissions.at;h=a6610dab955ac04e68d78be3811dede13c72e48c;hb=3c7a003b64e72aa4a6a97d5197f303c3cd1c6221;hp=837c283e7f1abc3c53c26ee163077e443b80b938;hpb=691a034d7f2139076fa012739dffd40ef5db4a9b;p=pspp

diff --git a/tests/language/utilities/permissions.at b/tests/language/utilities/permissions.at
index 837c283e7f..a6610dab95 100644
--- a/tests/language/utilities/permissions.at
+++ b/tests/language/utilities/permissions.at
@@ -13,7 +13,8 @@ dnl GNU General Public License for more details.
 dnl 
 dnl You should have received a copy of the GNU General Public License
 dnl along with this program.  If not, see <http://www.gnu.org/licenses/>.
-dnl AT_BANNER([PERMISSIONS])
+dnl
+AT_BANNER([PERMISSIONS])
 
 AT_SETUP([PERMISSIONS])
 AT_DATA([foobar], [Hello