From: John Darrington <john@darrington.wattle.id.au>
Date: Sun, 31 May 2020 11:38:21 +0000 (+0200)
Subject: Remove #include "gl/dosname.h"
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=cc138b64bf7374d722b043d65c6d55d2b8f2c3bb;p=pspp

Remove #include "gl/dosname.h"

This file is no longer part of gnublib
---

diff --git a/src/data/file-name.c b/src/data/file-name.c
index afc99a8825..2bbd749b8d 100644
--- a/src/data/file-name.c
+++ b/src/data/file-name.c
@@ -36,7 +36,6 @@
 #include "libpspp/version.h"
 
 #include "gl/dirname.h"
-#include "gl/dosname.h"
 #include "gl/intprops.h"
 #include "gl/minmax.h"
 #include "gl/relocatable.h"