Arch Linux

coin-or-mp 1.8.3-5 pkgbuild tries to remove empty directory

Inside the MAKEPKG file:

----------------------------------------------
package() {
cd CoinMP-$pkgver/CoinMP

make DESTDIR="$pkgdir" install
rm -r "$pkgdir"/build
}
-----------------------------------------------
The 'rm -r "$pkgdir"/build' triggers the following error during build:

----------------------------------------------------
rm: cannot remove '/home/dave/build/coin-or-mp/pkg/coin-or-mp/build': No such file or directory
==> ERROR: A failure occurred in package().
Aborting...

----------------------------------------------------------
Here is what my /pkg directory looks like before the failing line:

----------------------------------------------------

pkg]$ tree
.
└── coin-or-mp
├── home
│   └── dave
│   └── build
│   └── coin-or-mp
│   └── pkg
│   └── coin-or-mp
│   └── usr
│   └── share
│   └── coin
│   └── doc
│   └── CoinMP
│   ├── example.c
│   └── Makefile
└── usr
├── include
│   └── coin
│   ├── CoinMPConfig.h
│   └── CoinMP.h
├── lib
│   ├── libCoinMP.la
│   ├── libCoinMP.so -> libCoinMP.so.1.8.3
│   ├── libCoinMP.so.1 -> libCoinMP.so.1.8.3
│   ├── libCoinMP.so.1.8.3
│   └── pkgconfig
│   └── coinmp.pc
└── share
└── coin
└── doc
└── CoinMP
├── AUTHORS
├── coinmp_addlibs.txt
├── LICENSE
└── README

21 directories, 13 files