diff configure.in @ 2633:3d20fcfd8583

Android: Fix startup failure when not calling dw_app_id_set(). dw_init() would have an exception with no application name. So create a default application name with getprogname().
author bsmith@81767d24-ef19-dc11-ae90-00e081727c95
date Mon, 09 Aug 2021 22:07:54 +0000
parents 20f05d3a9c64
children 0ce46809e95d
line wrap: on
line diff