# Compiling pu fails: diff.c:4695:19: error: unused function 'short_opt'

1 messages from 2019-01-25 to 2019-01-25. Participants: Stefan Beller.
Thread: https://gitlist.dev/t/50321

## Stefan Beller, 2019-01-25 19:41

Subject: Compiling pu fails: diff.c:4695:19: error: unused function 'short_opt'
Message-ID: <CAGZ79kaUg3NTRPRi5mLk6ag87iDB_Ltq_kEiLwZ2HGZ+-Vsd8w@mail.gmail.com>
URL: https://gitlist.dev/e/CAGZ79kaUg3NTRPRi5mLk6ag87iDB_Ltq_kEiLwZ2HGZ%2B-Vsd8w%40mail.gmail.com

```
I see it is fixed in
https://public-inbox.org/git/20190122003020.9672-3-pclouds@gmail.com/
but not in 2722d068deb (SQUASH???, 2019-01-18)

```