X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=modules%2Fcrc;h=d2dccbb1ae0e36724045487d99d791b744da330b;hb=3e5de6c5160e5d0263c789120e43d52f0d5fc819;hp=a39c5174dae40ee48bb5bc5e9d135015ac11139c;hpb=e8684643a28f1bf6a0839bf6a0c10f630c0f6335;p=pspp

diff --git a/modules/crc b/modules/crc
index a39c5174da..d2dccbb1ae 100644
--- a/modules/crc
+++ b/modules/crc
@@ -13,7 +13,6 @@ configure.ac:
 gl_CRC
 
 Makefile.am:
-EXTRA_DIST += crc.h crc.c
 
 Include:
 "crc.h"