#*=====================================================================*/
#*    serrano/prgm/project/bigloo/bigloo/arch/raspberry/Makefile       */
#*    -------------------------------------------------------------    */
#*    Author      :  Manuel Serrano                                    */
#*    Creation    :  Sun Feb  7 07:41:50 2010                          */
#*    Last change :  Fri Dec 13 10:16:34 2019 (serrano)                */
#*    Copyright   :  2010-19 Manuel Serrano                            */
#*    -------------------------------------------------------------    */
#*    The Makefile that handles debian specific files                  */
#*=====================================================================*/

#*---------------------------------------------------------------------*/
#*    The default configuration                                        */
#*---------------------------------------------------------------------*/
include ../../Makefile.buildconfig
include ../../Makefile.config

#*---------------------------------------------------------------------*/
#*    Variables                                                        */
#*---------------------------------------------------------------------*/
POPULATION = build-toolchain.sh Makefile Makefile README.cross.md README.md

#*---------------------------------------------------------------------*/
#*    pop ...                                                          */
#*---------------------------------------------------------------------*/
pop:
	@ echo $(POPULATION:%=raspberry/%)

