X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdb%2Fautomake.mk;fp=src%2Fdb%2Fautomake.mk;h=a366ea10039eaa7763af0517fbd0a6aca30894c9;hb=52c54183e360053b1845e46cb96cd44a0cf96040;hp=0000000000000000000000000000000000000000;hpb=2ca3267c1110bbff675c560b19d02defb96ee2f9;p=pspp

diff --git a/src/db/automake.mk b/src/db/automake.mk
new file mode 100644
index 0000000000..a366ea1003
--- /dev/null
+++ b/src/db/automake.mk
@@ -0,0 +1 @@
+EXTRA_DIST += src/db/db.c